First show that the identity is in H. Then assume that a and b satisfy the
condition that defines the elements of H. Lastly, use this assumption to
show that <i>ab<sup>-1</sup> </i> satisfies the condition that defines H.